ACRC How-To: Linking to Libraries (on Linux) Introduction The process of creating an executable program has three steps: • Preprocessing: Source code manipulation by file & conditional inclusion and macro substitution.

Source URL: www.acrc.bris.ac.uk

• Software
• Computing
• Computer programming
• Numerical software
• Numerical linear algebra
• Object-oriented programming languages
• Compilers
• LAPACK
• Ldd
• Static library
• Linker
• Basic Linear Algebra Subprograms

307 LINEAR PROGRAMMING AND RELATED APPROACHES IN FOREST PLANNING* OSCAR GARCIA Forest Research Institute, Ministry of Forestry,

Source URL: www.scionresearch.com

Microsoft Word - SGP07-Preprint.doc

Source URL: geometry.stanford.edu

• Operations research
• Mathematical optimization
• 3D modeling
• Topology
• Linear programming
• Mathematics
• Structure
• Computer science

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Robust Optimization with Recovery: Application to Shortest Paths and Airline Scheduling Niklaus Eggenberg, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire,

Source URL: www.strc.ch

• Operations research
• Mathematical optimization
• Mathematics
• Mathematical analysis
• Shortest path problem
• Robust optimization
• Linear programming
• Stochastic optimization
• SAMPL
• Global optimization
• Scenario optimization

The DOE ACTS Collection The DOE Advanced CompuTational Software Collection The Department of Energy’s Advanced CompuTational Software (ACTS) Collection is a set of DOE-developed software tools that make it easier for p

Source URL: acts.nersc.gov

• Mathematical software
• Operations research
• Numerical software
• Numerical linear algebra
• Cross-platform software
• Portable
• Extensible Toolkit for Scientific Computation
• Computational science
• Wolfram Mathematica
• SageMath
• Mathematical optimization
• Linear programming
• Finite element method

Testing Cut Generators for Mixed-Integer Linear Programming Fran¸cois Margot ∗ Tepper School of Business, Carnegie Mellon University, Pittsburgh, PASeptember 2007; revised May 2009

Source URL: wpweb2.tepper.cmu.edu

1 Column Generation and the Cutting Stock Problem In the linear programming approach to the traveling salesman problem we used the cutting plane approach. The cutting plane approach is appropriate when the number of vari

Source URL: resources.mpi-inf.mpg.de

0-1 Integer Linear Programming with a Linear Number of Constraints Russell Impagliazzo ∗

Source URL: cseweb.ucsd.edu

Two-stage column generation and applications in container terminal management Ilaria Vacca, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire, Transport and M

Source URL: www.strc.ch

• Mathematical optimization
• Operations research
• Numerical analysis
• Linear programming
• Convex optimization
• Column generation
• Duality
• DantzigWolfe decomposition
• Simplex algorithm